Complete theory - PDFSEARCH.IO - Document Search Engine

Complete theory
Results: 1780

#	Item
351	arXiv:0909.2005v1 [cs.DS] 10 SepDeterministic approximation for the cover time of trees Uriel Feige∗ Add to Reading List Source URL: arxiv.org Language: English - Date: 2009-09-10 14:01:15 Analysis of algorithms SL Randomized algorithm Connectivity NP-complete problems Graph coloring Theoretical computer science Computational complexity theory Applied mathematics
352	Examination Appeal Form Please read this form carefully, complete it and return it with the relevant documents to the Examinations Office, NUI Galway. Name: _________________________________ Address: __________________ Add to Reading List Source URL: www.nuigalway.ie Language: English - Date: 2015-05-14 08:32:17 European Patent Organisation Program analysis Type system Type theory
353	Directing Complete Graphs and Avoiding Certain Structures January 31, 2015 The avoiding problem is defined as follows: the inputs consists of a simple Add to Reading List Source URL: payam-research.atwebpages.com Language: English - Date: 2015-01-31 03:24:13 NP-complete problems Morphisms Longest path problem Network theory Graph homomorphism Graph theory Theoretical computer science Mathematics
354	facultad de inform´atica universidad polit´ecnica de madrid Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis Dragan Ivanovi´c Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2011-01-13 05:13:43 Science Artificial intelligence Structure Formal concept analysis Lattice Miner Complete lattice Frame language Kepler scientific workflow system Scientific workflow system Lattice theory Workflow technology Workflow
355	Sergejs Solovjovs Masaryk University Localification procedure for affine systems In 1989, S. Vickers introduced the notion of topological system as a common framework for both topological spaces and the underlying algebr Add to Reading List Source URL: web.science.mq.edu.au Language: English - Date: 2013-06-21 05:36:38 Category theory Structure Order theory Space Reflective subcategory Equivalence of categories Category of topological spaces Duality Complete Heyting algebra Mathematics Adjoint functors Abstract algebra
356	248 Evolutionary Anthropology ARTICLES Human Evolution and Human History: A Complete Theory Add to Reading List Source URL: deathfromadistance.net Language: English - Date: 2009-11-25 12:25:22 Megafauna Human evolution Origin of language Kinship Culture Human Primate Paul M. Bingham Evolution Biology Anthropology Zoology
357	Sets with Cardinality Constraints in Satisfiability Modulo Theories Philippe Suter? , Robin Steiger, and Viktor Kuncak ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-11-10 10:57:45 Metalogic Formal methods Model theory Logic in computer science NP-complete problems First-order logic Satisfiability Modulo Theories Function Interpretation Logic Mathematics Theoretical computer science
358	Recent advances in symmetric functions and tableaux combinatorics Sara Billey University of Washington http://www.math.washington.edu/∼billey Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2012-03-01 18:45:55 Polynomials Algebraic combinatorics Homogeneous polynomials Symmetric functions Invariant theory Quasisymmetric function Ring of symmetric functions Complete homogeneous symmetric polynomial Symmetric matrix Algebra Abstract algebra Mathematics
359	Near-Optimal Algorithms for Maximum Constraint Satisfaction Problems Moses Charikar∗ Konstantin Makarychev∗† Add to Reading List Source URL: konstantin.makarychev.net Language: English - Date: 2014-06-08 22:16:07 Operations research NP-complete problems Linear programming Real algebraic geometry Semidefinite programming 2-satisfiability Mathematical optimization Constraint satisfaction problem Constraint satisfaction Theoretical computer science Applied mathematics Computational complexity theory
360	Dynamic Graphs in the Sliding-Window Model? Michael S. Crouch, Andrew McGregor, and Daniel Stubbs University of Massachusetts Amherst 140 Governors Drive, Amherst, MA 01003 {mcc,mcgregor,dstubbs}@cs.umass.edu Add to Reading List Source URL: people.cs.umass.edu Language: English - Date: 2013-06-23 17:01:11 Spanning tree Combinatorial optimization Matching Minimum spanning tree Graph NP-complete problems Graph theory Theoretical computer science Mathematics

UPDATE